Laputenko Andrey V., Vinarskii Evgenii M. «Deriving tests for digital circuits at lower and higher abstraction levels» // Tomsk State University Journal of Control and Computer Science 2019. №47 C.110-117
Savenkova Marina M., Provkin Viktor A., Matrosova Anzhela Yu., Sukhoruchenko Ksenia A. «Testing of multi-output combinational circuits when reactions on test patterns are known» // Tomsk State University Journal of Control and Computer Science 2024. №69 C.134-143
